Hybrid computer

Results: 617



#Item
11

Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA

Add to Reading List

Source URL: symbolaris.com

- Date: 2014-08-04 10:11:08
    12

    A Hybrid PKI-IBC Based Ephemerizer System Srijith K. Nair1 , Mohammad T. Dashti2 , Bruno Crispo1,3 , and Andrew S. Tanenbaum1 1 Dept. Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

    Add to Reading List

    Source URL: www.cs.vu.nl

    - Date: 2007-02-14 06:14:17
      13

      CheckerMode : A hybrid scheme for timing analysis of modern processor pipelines involving hardware/software interactions Sibin Mohan and Frank Mueller Dept. of Computer Science, Center for Embedded Systems Research, Nort

      Add to Reading List

      Source URL: moss.csc.ncsu.edu

      - Date: 2007-04-09 12:31:57
        14

        Towards Hybrid Online On-Demand Querying of Realtime Data with Stateful Complex Event Processing Qunzhi Zhou Department of Computer Science University of Southern California Los Angeles, USA

        Add to Reading List

        Source URL: ganges.usc.edu

        - Date: 2016-06-27 14:53:00
          15

          Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions ∗ Sibin Mohan and Frank Mueller Dept. of Computer Science, Center for Efficient, Secure and Reliable Computing, North Carolina Sta

          Add to Reading List

          Source URL: moss.csc.ncsu.edu

          - Date: 2008-03-07 15:57:58
            16

            High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

            Add to Reading List

            Source URL: www.csd.uwo.ca

            - Date: 2008-12-16 23:38:33
              17

              Late Breaking Result Poster, IEEE International Conference on Robotics and Automation (ICRA), Seattle, USA, Teleoperated Hybrid Locomotion in Uneven Terrain Max Schwarz and Sven Behnke Institute of Computer Scienc

              Add to Reading List

              Source URL: www.ais.uni-bonn.de

              - Date: 2015-05-24 08:34:31
                18

                Hybrid Index Maintenance for Growing Text Collections Stefan Buttcher ¨ Charles L. A. Clarke Brad Lushman School of Computer Science University of Waterloo, Canada

                Add to Reading List

                Source URL: plg.uwaterloo.ca

                - Date: 2006-04-07 00:52:40
                  19

                  STABILIZATION THROUGH HYBRID CONTROL Jo˜ ao P. Hespanha, Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA, USA. Keywords: Hybrid Systems; Switched Systems; Superv

                  Add to Reading List

                  Source URL: www.ece.ucsb.edu

                  - Date: 2016-08-24 18:30:51
                    20

                    Delta Routing: Improving the Price-Performance of Hybrid Private Networks G. Porter Department of Electrical Engineering and Computer Science University of California, Berkeley

                    Add to Reading List

                    Source URL: sahara.cs.berkeley.edu

                    - Date: 2004-05-07 21:16:11
                      UPDATE